#include<stdio.h>
#include<math.h>
#define chang(j,k,l) {j=(j+k+l)/2.0;}
#define mian(S,J,K,L) {S=sqrt(S*(S-J)*(S-K)*(S-L));}
int main()
{
	double s,a,b,c,t;
	scanf("%lf%lf%lf",&a,&b,&c);
	t=a;
	chang(a,b,c);
	s=a;
	mian(s,t,b,c);
	printf("%.3lf\n",s);
}
